Introduction to Computer Science (2017)

基本信息 (General Information)

Level: Undergraduated

Time & Place: 12:55pm – 3:40pm, Tuesday, East Middle Hall 3-104（东中院3-104）

Instructor:

Name: Xiaofeng Gao
Email: gao-xf(at)cs.sjtu.edu.cn
Office: Telecom Building 3-328
Phone: 021-34207407

Teaching Assistant:

Name: 夏宇晨 (Yuchen Xia)
Email: sjtu1276004354@sjtu.edu.cn
Office: SEIEE 3-309 (East)
Phone: 15026629962
Office Hour: 19:00-21:00 Tuesday

Name: 周浩 (Hao Zhou)
Email: h-zhou@sjtu.edu.cn
Office: SEIEE 3-309 (East)
Phone: 15850552273
Office Hour: 19:00-21:00 Sunday

课堂时间 (Course Schedule)

计划日程 (Syllabus)

Week	Date	Lecture Topic	Event	TA
1	Sep.12	School Opening no class
2	Sep.19	Introduction to Computer Science Syllabus, Organization, Grading Policy, Introduction to Computer Science, etc.	Lab-01
3	Sep.26	Pseudo Code Programming Language, If, While, For, Case	Lab-02
4	Oct.03	National Holiday no class
5	Oct.10	Set, Function, and Relation Set, Function, Relation, etc.	Lab-03
6	Oct.17	Cardinality Definition, Natural Numbers, etc.	Lab-04
7	Oct.24	Cardinality Equinumerosity, Pigeonhole Principle, Cardinal Number, etc	Lab-05
8	Oct.31	Proof Proof by Construction/Contrapositive/Cases/Induction	Lab-06
9	Nov.7	Logic Propositional logic, First Order Logic, etc	Lab-07
10	Nov.14	Holiday no class
11	Nov.21	Logic and Data Structure First Order Logic, List, Sequence list, etc.	Lab-08
12	Nov.28	Data Structure Link list, Stack, Queue, etc.	Lab-09
13	Dec.05	Data Structure and Graph Queue, Recursive Function and Stack, Simple Graphs	Lab-10
14	Dec.12	Graph Directed Graph, Weighted Graph, Brouwer Fixed Point Theorem	Lab-11
15	Dec.19	Path Path, Circuit, Euler and Hamilton Graph, etc.	Lab-12
16	Dec.26	Tree Tree, BFS, DFS, MST, etc
17		Final Exam	Final

作业与课后阅读 (Assignments and Readings)

Lecture 1: Introduction to Computer Science

阅读材料 (Reading Materials)
- 日程与评分标准(Syllabus & Grading Policy): Syllabus-IntroductionToCS.pdf
- Slide: Slide01-IntroductionToCS.pdf
- Slide Print Version: 01-IntroductionToCS.pdf
- Reference: 黄国兴、陶树平、丁岳伟编著，《计算机导论》（第三版）第一章，清华大学出版社，2013. Reference01-IntroductionToCS.pdf
Word Tutorial
- 插入图表标签与引用: WordTutorial.pdf
- 中英混用标点: 夹用英文的中文文本的标点符号用法.pdf
- 出版物上数字用法的规定: 出版物上数字用法的规定.pdf
Lab-01: Introduction to Computer Science (Due: 11:59 pm, 9/25/2017)
- Self-Introduction: Update your information for Course Webpage.
- Lab Description: Lab01-TuringPerYear.pdf
- Assignment List: Lab01-AssignmentList.pdf
- Comments: Lab01-Comments.pdf
- Student Work: Lab01-StudentWork.zip
- Best Work: Gengpu Li, Yashi Zou, Jingtian Song

Lecture 2: Pseudo Code

阅读材料 (Reading Materials)
- Slide: Slide02-PseudoCode.pdf
- Slide Print Version: 02-PseudoCode.pdf
Latex Tutorial
- Algorithm Sample File: AlgorithmSample.pdf
- Algorithm Sample Source: AlgorithmSample.tex
- Latex Instruction: Latex 使用说明.pdf
- Latex Sample File: LatexExample2017.pdf
- Latex Sample Source: LatexExample2017.zip
Lab-02: Pseudo Code (Due: 11:59 pm, 10/09/2017)
- Lab Description: Lab02-PseudoCode.pdf
- Latex Source: Lab02-PseudoCode.tex
- Figure Source: Fig-FlowDiagram.pdf
- Submit Description: SubmitDescription.pdf
- Lab Solution: Lab02-Solution.pdf

Lecture 3: Set, Relation, and Function

阅读材料 (Reading Materials)
- Slide: Slide03-Set.pdf
- Slide Print Version: 03-Set.pdf
- Reference: 石纯一，王家钦编著，《数理逻辑与集合论》（第二版）第9-11章，清华大学出版社，2001. Reference02-Set.pdf
Visio Tutorial
- Official Tutorial: https://support.office.com/zh-cn/article/Visio-2016-%E6%95%99%E7%A8%8B-c8fd9b8b-6e8c-4252-937d-a0eea0cddd94
- Shape Tutorial: VisioHelp-Shape.pdf
Lab-03: Set (Due: 11:59 pm, 10/16/2017)
- Lab Description: Lab03-Set.pdf
- Latex Source: Lab03-Set.tex
- Lab Solution: Lab03-Solution.pdf

Lecture 4: Cardinality (1)

阅读材料 (Reading Materials)
- Slide: Slide04-Cardinality.pdf
- Slide Print Version: 04-Cardinality.pdf
- Reference: Chapter 6 of H. Enderton's Elements of Set Theory, 1977. Reference03-Cardinality.pdf
Lab-04: Cardinality (Due: 11:59 pm, 10/23/2017)
- Lab Description: Lab04-Cardinality.pdf
- Latex Source: Lab04-Cardinality.tex
- Figure Source: Fig-FlowDiagram.vsdx
- Lab Solution: Lab04-Solution.pdf

Lecture 5: Cardinality (2)

阅读材料 (Reading Materials)
- Demo-C: Demo-C.zip
- Demo-Java: Demo-Java.zip
- Demo-Python: Demo-Python.zip
- Demo-Matlab: Demo-Matlab.zip
Lab-05: Cardinality (Due: 11:59 pm, 10/30/2017)
- Lab Description: Lab05-CardinalNumber.pdf
- Latex Source: Lab05-CardinalNumber.tex
- Lab Solution: Lab05-Solution.pdf

Lecture 6: Proof

阅读材料 (Reading Materials)
- Slide: Slide05-Proof.pdf
- Slide Print Version: 05-Proof.pdf
- Reference: Chapter 2 in "Introduction to Languages and the Theory of Computation" by John Martin, McGraw-Hill, 2002. Reference04-Proof.pdf
Lab-06: Proof (Due: 11:59pm, 11/06/2017)
- Lab Description: Lab06-Proof.pdf
- Latex Source: Lab06-Proof.tex
- Lab Solution: Lab06-Solution.pdf

Lecture 7: Logic

阅读材料 (Reading Materials)
- Slide: Slide06-Logic.pdf
- Slide Print Version: 06-Logic.pdf
- Reference: 石纯一，王家钦编著，《数理逻辑与集合论》（第二版）第1-2章，清华大学出版社，2001。 Reference05-Logic.pdf
Lab-07: Logic (Due: 11:59pm, 11/13/2017)
- Lab Description: Lab07-Logic.pdf
- Latex Source: Lab07-Logic.tex
- Latex Help: Lab07-LatexHelp.pdf
- Lab Solution: Lab07-Solution.pdf

Lecture 8: Data Structure (1)

阅读材料 (Reading Materials)
- Slide: Slide07-DataStructure.pdf
- Slide Print Version: 07-DataStructure.pdf
- Reference: 严蔚敏，吴伟民编著《数据结构(C语言版)》，第一、二、三章，清华大学出版社，1997。 Reference06-DataStructure.pdf
Lab-08: Data Structure (Due: 11:59pm, 11/27/2017)
- Lab Description: Lab08-LogicAndDataStructure.pdf
- Latex Source: Lab08-LogicAndDataStructure.tex
- Lab Solution: Lab08-Solution.pdf

Lecture 9: Data Structure (2)

Lab-09: Data Structure (Due: 11:59pm, 12/4/2017)
- Lab Description: Lab09-DataStructure.pdf
- Latex Source: Lab09-DataStructure.tex
- Pointer Help: Lab09-PointerHelp.pdf
- Lab Solution: Lab09-Solution.pdf

Lecture 10: Graph Theory (1)

阅读材料 (Reading Materials)
- Slide: Slide08-GraphTheory.pdf
- Slide Print Version: 08-GraphTheory.pdf
- Reference: 戴一奇等编著《图论与数据结构》，第一章，清华大学出版社，1995； Reference07-GraphTheory.pdf
Lab-10: Graph Theory (Due: 11:59pm, 12/11/2017)
- Lab Description: Lab10-DataStructureAndGraphTheory.pdf
- Latex Source: Lab10-DataStructureAndGraphTheory.tex
- Latex Help: Lab10-LatexHelp.pdf
- Latex Help Source: Lab10-LatexHelp.tex
- Lab Solution: Lab10-Solution.pdf

Lecture 11: Graph Theory (2)

Lab-11: Graph Theory (Due: 11:59pm, 12/18/2017)
- Lab Description: Lab11-GraphTheory.pdf
- Latex Source: Lab11-GraphTheory.tex
- Lab Solution: Lab11-Solution.pdf

Lecture 12: Path and Cycle

阅读材料(Reading Materials)
- Slide: Slide09-Path&Cycle.pdf
- Slide Print Version: 09-Path&Cycle.pdf
- Reference: 戴一奇等编著《图论与数据结构》，第二章，清华大学出版社，1995。 Reference08-PathCycle.pdf
Lab-12: Path and Cycle (Due: 11:59pm, 12/25/2017)
- Lab Description: Lab12-PathAndCycle.pdf
- Latex Source: Lab12-PathAndCycle.tex
- Figure Source: Fig-Snark.eps
- Figure Help Source: Fig-Snark.vsd
- Lab Solution: Lab12-Solution.pdf

Lecture 13: Tree

阅读材料 (Reading Materials)
- Slide: Slide10-Tree.pdf
- Slide Print Version: 10-Tree.pdf

提交引导 (Submission Guidelines)

请登录右上角的JAccount进行作业提交，登录后可以下载课件、提交作业。
Please log in by JAccountat the top right corner to download course materials and submit your homework.
作业只能提交一个文档，如果有多个文档请放在一个文件夹里，将其压缩成.rar或.zip文件。作业可以多次提交，每次上传版本会覆盖原来版本。可通过点击右上方“Check Hw.”一栏查看作业提交、成绩与反馈情况（建议下载检查上传版本)。
You can only submit ONE document for each homework. If there are multiple documents, please put them inside a folder, and compress it in the form of .rar or .zip You can submit homework multiple times, while the original submitted version will be covered by the latest submitted one. You can click on “Check Hw.”at the top right corner to check the homework submission, grade, and feedback.(Suggestion: You can download your submitted homework to check it.)
若已登录的情况下提示权限不足，请刷新或者注销后重新登录，若仍权限不足，请及时与助教联系。如出现无法提交、不懂操作、系统Bug等情况请与助教及时联系。
If it shows that you do not have access after you log in, please refresh the webpage or re-log in again. If it still does not work, please contact teaching assistants in time. If you have other problems, e.g., you cannot or don’t know how to submit your homework, or find Bugs please contact your teaching assistants in time.

分组活动说明 (Group Project Description)

Project Description
- Project Descriptions and Rules: Project-Description.pdf
- Project Topic List: Project-TopicList.pdf
- Sample Powerpoint Document (Don't copy it!): ProjectSample-Cryptography.pptx
Project Activities
- Topic Bid Rule: Project-BidRule.pdf
- Questionnaire: https://www.wjx.top/jq/16738395.aspx
Project Questions
- QuestionExample: QuestionExample.pdf
- Latex Source: QuestionExample.tex

分组活动细节 (Group Project Detail)

序号 (No.)	时间 (Time)	主题 (Topic)	队员 (TM1)	队员 (TM2)	队员 (TM3)	课件 (Slide)	投票 (Vote)	评语 (Comment)	视频 (Video)	考题 (Test)	点评 (Review)
1	Oct.10	计算机体系结构1	张众望	竺烨锟	周岐轩	下载	已结束计算机体系结构1 DDL: 2018年5 月31日0时0分	查看评语	未上传	下载	无
2	Oct.10	计算机体系结构2	肖天昱	王卫豪	李冠霖	下载	未开通计算机体系结构2 DDL: 2017年10 月10日23时59分	查看评语	未上传	下载	无
3	Oct.17	程序设计语言1	高梓轩	李水木	刘翀鸣	下载	未开通程序设计语言1 DDL: 2017年10 月17日23时59分	查看评语	未上传	下载	无
4	Oct.17	程序设计语言2	李逸凡	陈阳	朱萧谕	下载	未开通程序设计语言2 DDL: 2017年10 月17日23时59分	查看评语	未上传	下载	无
5	Oct.24	编译原理1	章毅	于钟凯	李翔	下载	未开通编译原理1 DDL: 2017年10 月24日23时59分	查看评语	未上传	下载	无
6	Oct.24	编译原理2	吴桐尧	何佳俊	黄泊宁	下载	未开通编译原理2 DDL: 2017年10 月24日23时59分	查看评语	未上传	下载	无
7	Oct.31	操作系统1	任俊霖	马靖洋	彭伊帆	下载	未开通操作系统1 DDL: 2017年10 月31日23时59分	查看评语	未上传	下载	无
8	Oct.31	操作系统2	李伟喆	林渊野	刘天励	下载	未开通操作系统2 DDL: 2017年10 月31日23时59分	查看评语	未上传	下载	无
9	Nov.7	计算机网络1	董流畅	张隆源	王泾洋	下载	未开通计算机网络1 DDL: 2017年11 月7日23时59分	查看评语	未上传	下载	无
10	Nov.7	计算机网络2	陈屹楠	邹雅诗	任洗耳	下载	未开通计算机网络2 DDL: 2017年11 月7日23时59分	查看评语	未上传	下载	无
11	Nov.21	数据库1	叶毅扬	王铭鑫	王子健	下载	未开通数据库1 DDL: 2017年11 月22日23时59分	查看评语	未上传	下载	无
12	Nov.21	数据库2	焦文娟	高婕	宋经天	下载	未开通数据库2 DDL: 2017年11 月22日23时59分	查看评语	未上传	下载	无
13	Nov.28	密码学与信息安全1	王子豪	魏熙锴	刘永昊	下载	未开通密码学与信息安全1 DDL: 2017年11 月28日23时59分	查看评语	未上传	下载	无
14	Nov.28	密码学与信息安全2	滕厚涵	王志伟	李庚璞	下载	未开通密码学与信息安全2 DDL: 2017年11 月28日23时59分	查看评语	未上传	下载	无
15	Nov.28	密码学与信息安全3	付宇轩	周知震	刘无己	下载	未开通密码学与信息安全3 DDL: 2017年11 月28日23时59分	查看评语	未上传	下载	无
16	Dec.05	软件工程1	陈天乐	丁旭	王喆睿	下载	未开通软件工程1 DDL: 2017年12 月5日23时59分	查看评语	未上传	下载	无
17	Dec.05	软件工程2	王腾博	徐基珉	喻君钊	下载	未开通软件工程2 DDL: 2017年12 月5日23时59分	查看评语	未上传	下载	无
18	Dec.12	计算机图形学1	严菁	杨弋	艾珅	下载	未开通计算机图形学1 DDL: 2017年12 月12日23时59分	查看评语	未上传	下载	无
19	Dec.12	计算机图形学2	吕昊珉	陈诺		下载	未开通计算机图形学2 DDL: 2017年12 月12日23时59分	查看评语	未上传	下载	无
20	Dec.19	人工智能	吴正瀚	吴哲宇	许家兆	下载	未开通人工智能 DDL: 2017年12 月19日23时59分	查看评语	未上传	下载	无
21	Dec.19	机器学习	时亦文	唐杰	商来	下载	未开通机器学习 DDL: 2017年12 月19日23时59分	查看评语	未上传	下载	无

学生名册与课堂记录 (Roster and Event)

Roster

Class Attendance Pictures

Class Project Pictures

引用材料 (Reference)

References
- Discrete Mathematics and Its Applications (Sixth Edition), by Kenneth H. Rosen, published by The McGraw-Hill Companies, Inc., 2007.
- Sizes of Electronic Files: http://en.wikipedia.org/wiki/Metric_prefix
- First Computer: http://en.wikipedia.org/wiki/Computer
- First Network: https://en.wikipedia.org/wiki/ARPANET
- Abu Ja-far Muhammad ibn Musa al-Khwarizl: https://en.wikipedia.org/wiki/Muhammad_ibn_Musa_al-Khwarizmi
Documents
- Definition of Variables: NamingConvention.pdf
- Pronunciation of Mathematical Functions: MathExpression.pdf
Latex Helper
- Help of Latex (CHN): LatexHelper(CHN).pdf
- Help of Latex (ENG): LatexHelper(ENG).pdf
- Latex Sample Example (pdf): LatexExample.pdf
- Latex Sample Example (tex): LatexExample.tex
- Reference material Help for Algorithm2e Package: AlgorithmPackage.pdf